System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
11	From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Programming language theory Type theory Computing ML Type inference Polymorphism Type system Type class HindleyMilner type system Ad hoc polymorphism OCaml
12	Istation Reading Curriculum Correlated to South Carolina College- and Career-Ready Standards for English Language Arts Grades 6-8 Add to Reading List Source URL: www.istation.com Language: English - Date: 2016-01-22 11:55:12 Reading Education in the United States Learning to read Reading comprehension System time Logic programming Computing Computer engineering
13	Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: & Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:53 Software engineering Computer programming Computing Procedural programming languages Functional languages Programming language implementation Data types Compiler construction Standard ML Interpreter Compiler-compiler Type system
14	KX-NS1000 PCMPR Software File Version 4.1 System Capacity Maximum Trunks Add to Reading List Source URL: www.panasonic.gr Language: English - Date: 2016-04-13 04:07:27 Videotelephony Computing Telephony Electronics APL programming language family ELI Session Initiation Protocol Intercom Telephone call Integrated Services Digital Network Caller ID
15	Calling Variadic Functions from a Strongly Typed Language Matthias Blume Mike Rainey Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2008-10-05 21:17:42 Software engineering Computing Computer programming Subroutines Variadic function Type theory Variadic Cross-platform software Printf format string Parameter Type system John Reppy
16	Excelsior JET for Mac OS X Version 11 User’s Guide Add to Reading List Source URL: www.excelsiorjet.com Language: English Software Computing Compiler construction Cross-platform software Programming language implementation Java platform Computing platforms Excelsior JET Just-in-time compilation Installation Java Nullsoft Scriptable Install System
17	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
18	Hacking the Rust object system at Mozilla Lindsey Kuper Grinnell College April 5, 2012 1 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-04-24 00:32:15 Software engineering Computer programming Software Cross-platform software High-level programming languages Scripting languages Functional languages Perl Haskell Programming language Startup company
19	Photochemistry and aerosol modeling Polyphemus Training Session About Purpose: introduction to the Polyphemus system : preprocessing raw data and launching one simulation. Very basic post-processing is also presented. Add to Reading List Source URL: cerea.enpc.fr Language: English - Date: 2011-02-18 05:14:41 Preprocessor Programming language implementation MOZART Polyphemus Deb Software Computing Mythology
20	SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Computing Transaction processing Concurrency control Data management Information science Databases Lock Linearizability Hash table File locking Unix signal Serializability

UPDATE